Ross Overbeek : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (132)
Les plus populaires
Liste
- Liste
- Tableau

1

The design of entity-relationship models for general ledger systems

Bruce Parrello, Ross Overbeek, Ewing Lusk

Journal:

Data & Knowledge Engineering

Année:

1985

Langue:

english

Fichier:

PDF, 1.68 MB

english, 1985

2

Universal Protein Families and the Functional Content of the Last Universal Common Ancestor

Kyrpides, Nikos, Overbeek, Ross, Ouzounis, Christos

Journal:

Journal of Molecular Evolution

Année:

1999

Langue:

english

Fichier:

PDF, 389 KB

english, 1999

3

Synergistic use of plant-prokaryote comparative genomics for functional annotations

Svetlana Gerdes, Basma El Yacoubi, Marc Bailly, Ian K Blaby, Crysten E Blaby-Haas, Linda Jeanguenin, Aurora Lara-Núñez, Anne Pribat, Jeffrey C Waller, Andreas Wilke, Ross Overbeek, Andrew D Hanson, Va

Journal:

Année:

2011

Langue:

english

Fichier:

PDF, 947 KB

english, 2011

4

Set theory in first-order logic: Clauses for Gödel's axioms

Robert Boyer, Ewing Lusk, William McCune, Ross Overbeek, Mark Stickel, Lawrence Wos

Journal:

Journal of Automated Reasoning

Année:

1986

Langue:

english

Fichier:

PDF, 1.94 MB

english, 1986

5

Moving to a higher level of abstraction

Journal:

Environmental Microbiology

Année:

2007

Langue:

english

Fichier:

PDF, 89 KB

english, 2007

6

The Aurora or-parallel Prolog system

Ewing Lusk, Ralph Butler, Terrence Disz, Robert Olson, Ross Overbeek, Rick Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi, Per Brand, Mats Carlsson, Andrzej Ciepielewski, Bog

Journal:

New Generation Computing

Année:

1990

Langue:

english

Fichier:

PDF, 1.71 MB

english, 1990

7

[Lecture Notes in Computer Science] 9th International Conference on Automated Deduction Volume 310 || SATCHMO: A theorem prover implemented in Prolog

Lusk, Ewing, Overbeek, Ross

Année:

1988

Langue:

english

Fichier:

PDF, 1.08 MB

english, 1988

8

[Lecture Notes in Computer Science] 9th International Conference on Automated Deduction Volume 310 || MOLOG: A modal PROLOG

Lusk, Ewing, Overbeek, Ross

Année:

1988

Langue:

english

Fichier:

PDF, 113 KB

english, 1988

9

[Lecture Notes in Computer Science] 9th International Conference on Automated Deduction Volume 310 || Supposition-based logic for automated nonmonotonic reasoning

Lusk, Ewing, Overbeek, Ross

Année:

1988

Langue:

english

Fichier:

PDF, 759 KB

english, 1988

10

[Lecture Notes in Computer Science] 9th International Conference on Automated Deduction Volume 310 || λProlog: An extended logic programming language

Lusk, Ewing, Overbeek, Ross

Année:

1988

Langue:

english

Fichier:

PDF, 160 KB

english, 1988

11

Designing for to kalon: how the unity of beauty and good inspires interactive product design

Ross, Philip R., Overbeeke, Kees J., Wensveen, Stephan A.G., Hummels, Caroline C.M.

Journal:

International Journal of Product Development

Année:

2012

Langue:

english

Fichier:

PDF, 2.40 MB

english, 2012

12

[Lecture Notes in Computer Science] 9th International Conference on Automated Deduction Volume 310 || Learning and applying generalised solutions using higher order resolution

Lusk, Ewing, Overbeek, Ross

Année:

1988

Langue:

english

Fichier:

PDF, 1.15 MB

english, 1988

13

Maximum likelihood genetic sequence reconstruction from oligo content

Jane N. Hagstrom, Ray Hagstrom, Ross Overbeek, Morgan Price, Linus Schrage

Journal:

Année:

1994

Langue:

english

Fichier:

PDF, 549 KB

english, 1994

14

Searching for genomic organizational motifs: Explorations of the Escherichia coli chromosome

George S. Michaels, Ronald Taylor, Ray Hagstrom, Morgan Price, Ross Overbeek

Journal:

Computers & Chemistry

Année:

1993

Langue:

english

Fichier:

PDF, 2.83 MB

english, 1993

15

An implementation of hyper-resolution

Ross A. Overbeek

Journal:

Computers & Mathematics with Applications

Année:

1975

Langue:

english

Fichier:

PDF, 760 KB

english, 1975

16

Experiments with resolution-based theorem-proving algorithms

E.L. Lusk, Ross A. Overbeek

Journal:

Computers & Mathematics with Applications

Année:

1982

Langue:

english

Fichier:

PDF, 1.04 MB

english, 1982

17

Missing genes in metabolic pathways: a comparative genomics approach

Andrei Osterman, Ross Overbeek

Journal:

Current Opinion in Chemical Biology

Année:

2003

Langue:

english

Fichier:

PDF, 222 KB

english, 2003

18

Non-horn problems

Ewing Lusk, Ross Overbeek

Journal:

Journal of Automated Reasoning

Année:

1985

Langue:

english

Fichier:

PDF, 506 KB

english, 1985

19

Book review

Journal:

Journal of Automated Reasoning

Année:

1988

Langue:

english

Fichier:

PDF, 111 KB

english, 1988

20

A foray into combinatory logic

Barney Glickfeld, Ross Overbeek

Journal:

Journal of Automated Reasoning

Année:

1986

Langue:

english

Fichier:

PDF, 537 KB

english, 1986

21

Exploitation of parallel processing for implementing high-performance deduction systems

Anita Jindal, Ross Overbeek, Waldo C. Kabat

Journal:

Journal of Automated Reasoning

Année:

1992

Langue:

english

Fichier:

PDF, 809 KB

english, 1992

22

The CADE-11 competitions: A personal view

Journal:

Journal of Automated Reasoning

Année:

1993

Langue:

english

Fichier:

PDF, 107 KB

english, 1993

23

Formula databases for high-performance resolution/paramodulation systems

Ralph M. Butler, Ross A. Overbeek

Journal:

Journal of Automated Reasoning

Année:

1994

Langue:

english

Fichier:

PDF, 1.34 MB

english, 1994

24

Derivation of efficient parallel programs: An example from genetic sequence analysis

Ambuj K. Singh, Ross Overbeek

Journal:

International Journal of Parallel Programming

Année:

1989

Langue:

english

Fichier:

PDF, 1.35 MB

english, 1989

25

Detection of Lateral Gene Transfer Events in the Prokaryotic tRNA Synthetases by the Ratios of Evolutionary Distances Method

Kamyar Farahi, GordonD. Pusch, Ross Overbeek, WilliamB. Whitman

Journal:

Journal of Molecular Evolution

Année:

2004

Langue:

english

Fichier:

PDF, 425 KB

english, 2004

26

A designerly critique on enchantment

Philip R. Ross, C. J. Overbeeke, Stephan A. G. Wensveen, Caroline M. Hummels

Journal:

Personal and Ubiquitous Computing

Année:

2008

Langue:

english

Fichier:

PDF, 546 KB

english, 2008

27

10.1038/32831

Huber, Robert, Swanson, Ronald V., Deckert, Gerard, Warren, Patrick V., Gaasterland, Terry, Young, William G., Lenox, Anna L., Graham, David E., Overbeek, Ross, Snead, Marjory A., Keller, Martin, Auja

Journal:

Année:

1998

Langue:

english

Fichier:

PDF, 472 KB

english, 1998

28

Building the blueprint of life

Christopher Henry, Ross Overbeek, Rick L. Stevens

Journal:

Biotechnology Journal

Année:

2010

Langue:

english

Fichier:

PDF, 453 KB

english, 2010

29

Searching for patterns in genomic data

Mark Dsouza, Niels Larsen, Ross Overbeek

Journal:

Trends in Genetics

Année:

1997

Langue:

english

Fichier:

PDF, 219 KB

english, 1997

30

Curation is forever: comparative genomics approaches to functional annotation

Ross Overbeek, Domenica Devine, Veronika Vonstein

Journal:

Année:

2003

Langue:

english

Fichier:

PDF, 82 KB

english, 2003

31

Accessing the SEED Genome Databases via Web Services API: Tools for Programmers

Terry Disz, Sajia Akhter, Daniel Cuevas, Robert Olson, Ross Overbeek, Veronika Vonstein, Rick Stevens, Robert A Edwards

Journal:

BMC Bioinformatics

Année:

2010

Langue:

english

Fichier:

PDF, 685 KB

english, 2010

32

Genomic encyclopedia of sugar utilization pathways in theShewanellagenus

Dmitry A Rodionov, Chen Yang, Xiaoqing Li, Irina A Rodionova, Yanbing Wang, Anna Y Obraztsova, Olga P Zagnitko, Ross Overbeek, Margaret F Romine, Samantha Reed, James K Fredrickson, Kenneth H Nealson,

Journal:

Année:

2010

Langue:

english

Fichier:

PDF, 1.55 MB

english, 2010

33

The 60 kDa Heat Shock Proteins in the Hyperthermophilic ArchaeonSulfolobus shibatae

Hiromi K. Kagawa, Jerzy Osipiuk, Natalia Maltsev, Ross Overbeek, Elsie Quaite-Randall, Andrzej Joachimiak, Jonathan D. Trent

Journal:

Journal of Molecular Biology

Année:

1995

Langue:

english

Fichier:

PDF, 2.11 MB

english, 1995

34

Connecting genotype to phenotype in the era of high-throughput sequencing

Christopher S. Henry, Ross Overbeek, Fangfang Xia, Aaron A. Best, Elizabeth Glass, Jack Gilbert, Peter Larsen, Rob Edwards, Terry Disz, Folker Meyer, Veronika Vonstein, Matthew DeJongh, Daniela Bartel

Journal:

Biochimica et Biophysica Acta (BBA) - General Subjects

Année:

2011

Langue:

english

Fichier:

PDF, 736 KB

english, 2011

35

A Parallel Adaptive Numerical Scheme for Hyperbolic Systems of Conservation Laws

Lucier, Bradley J., Overbeek, Ross

Journal:

SIAM Journal on Scientific and Statistical Computing

Année:

1987

Langue:

english

Fichier:

PDF, 1.90 MB

english, 1987

36

Genomics: what is realistically achievable?

Journal:

Année:

2000

Langue:

english

Fichier:

PDF, 55 KB

english, 2000

37

In search of genome annotation consistency: solid gene clusters and how to use them

James J. Davis, Gary J. Olsen, Ross Overbeek, Veronika Vonstein, Fangfang Xia

Journal:

Année:

2014

Langue:

english

Fichier:

PDF, 231 KB

english, 2014

38

[Lecture Notes in Computer Science] 9th International Conference on Automated Deduction Volume 310 || Finding canonical rewriting systems equivalent to a finite set of ground equations in polynomial time

Lusk, Ewing, Overbeek, Ross

Année:

1988

Langue:

english

Fichier:

PDF, 801 KB

english, 1988

39

The Use of Gene Clusters to Infer Functional Coupling

Ross Overbeek, Michael Fonstein, Mark D'Souza, Gordon D. Pusch and Natalia Maltsev

Journal:

Proceedings of the National Academy of Sciences

Année:

1999

Langue:

english

Fichier:

PDF, 1.58 MB

english, 1999

40

fastDNAml: a tool for construction of phylogenetic trees of DNA sequences using maximum likelihood

Olsen, Gary J., Matsuda, Hideo, Hagstrom, Ray, Overbeek, Ross

Journal:

Année:

1994

Langue:

english

Fichier:

PDF, 756 KB

english, 1994

41

Enabling comparative modeling of closely related genomes: example genusBrucella

Faria, José P., Edirisinghe, Janaka N., Davis, James J., Disz, Terrence, Hausmann, Anna, Henry, Christopher S., Olson, Robert, Overbeek, Ross A., Pusch, Gordon D., Shukla, Maulik, Vonstein, Veronika,

Journal:

Année:

2015

Langue:

english

Fichier:

PDF, 250 KB

english, 2015

42

Annotation of Bacterial and Archaeal Genomes: Improving Accuracy and Consistency

Overbeek, Ross, Bartels, Daniela, Vonstein, Veronika, Meyer, Folker

Journal:

Chemical Reviews

Année:

2007

Langue:

english

Fichier:

PDF, 497 KB

english, 2007

43

The ribosomal database project

Larsen, Niels, Olsen, Gary J., Maidak, Bonnie L., McCaughey, Michael J., Overbeek, Ross, Macke, Thomas J., Marsh, Terry L., Woese, Carl R.

Journal:

Nucleic Acids Research

Année:

1993

Langue:

english

Fichier:

PDF, 221 KB

english, 1993

44

The Ribosomal Database project

Maidak, Bonnie L., Larsen, Niels, McCaughey, Michael J., Overbeek, Ross, Olsen, Gary J., Fogel, Karl, Blandy, James, Woese, Carl R.

Journal:

Nucleic Acids Research

Année:

1994

Langue:

english

Fichier:

PDF, 263 KB

english, 1994

45

[Lecture Notes in Computer Science] 9th International Conference on Automated Deduction Volume 310 || A Prolog technology theorem prover

Lusk, Ewing, Overbeek, Ross

Année:

1988

Langue:

english

Fichier:

PDF, 157 KB

english, 1988

46

[Lecture Notes in Computer Science] 9th International Conference on Automated Deduction Volume 310 || Adventures in associative-commutative unification (A summary)

Lusk, Ewing, Overbeek, Ross

Année:

1988

Langue:

english

Fichier:

PDF, 773 KB

english, 1988

47

[ACM Press the 1980 ACM SIGMOD international conference - Santa Monica, California (1980.05.14-1980.05.16)] Proceedings of the 1980 ACM SIGMOD international conference on Management of data - SIGMOD '80 - A practical design methodology for the implementation of IMS databases, using the entity-relationship model

Lusk, Ewing L., Overbeek, Ross A., Parrello, Bruce

Année:

1980

Langue:

english

Fichier:

PDF, 945 KB

english, 1980

48

[Advances in Intelligent Systems and Computing] 9th International Conference on Practical Applications of Computational Biology and Bioinformatics Volume 375 || A Preliminary Assessment of Three Strategies for the Agent-Based Modeling of Bacterial Conjugation

Overbeek, Ross, Rocha, Miguel P., Fdez-Riverola, Florentino, De Paz, Juan F.

Année:

2015

Langue:

english

Fichier:

PDF, 394 KB

english, 2015

49

[Advances in Intelligent Systems and Computing] 9th International Conference on Practical Applications of Computational Biology and Bioinformatics Volume 375 || A New Bioinformatic Pipeline to Address the Most Common Requirements in RNA-seq Data Analysis

Overbeek, Ross, Rocha, Miguel P., Fdez-Riverola, Florentino, De Paz, Juan F.

Année:

2015

Langue:

english

Fichier:

PDF, 616 KB

english, 2015

50

[Advances in Intelligent Systems and Computing] 9th International Conference on Practical Applications of Computational Biology and Bioinformatics Volume 375 || UV-Visible Spectrophotometry-Based Metabolomic Analysis of Cedrela Fissilis Velozzo (Meliaceae) Calluses - A Screening Tool for Culture Medium Composition and Cell Metabolic Profiles

Overbeek, Ross, Rocha, Miguel P., Fdez-Riverola, Florentino, De Paz, Juan F.

Année:

2015

Langue:

english

Fichier:

PDF, 148 KB

english, 2015